Intuition et lois logiques

Automates infinis, logiques et langages

Logiques Modales Et Bases De Données

This paper aims to present modal logics as a tool for database modelling. We first give a brief introduction to modal logics. Then, we present three examples of modelling. In the first one, the problem is, given a query addressed to a database, to characterize the parts of the answer which are valid or complete in regard to the real world. The second problem is to query a database obtained from...

Development and verification of probability logics and logical frameworks. (Développement et vérification des logiques probabilistes et des cadres logiques)

The research for this thesis has followed two main paths: the one of probability logics and the other of type systems and logical frameworks, bringing them together through interactive theorem proving. With the development of computer technology and the need to capture real-world dynamics, situations, and problems, reasoning under uncertainty has become one of the more important research topics...

Inférer et compiler la terminaison des programmes logiques avec contraintes

Ce papier présente une méthode automatisée qui traite en deux étapes la terminaison de programmes logiques contraints. Dans un premier temps, et en utilisant des techniques d’approximations de programmes et de mu-calcul sur les booléens, la méthode infère un ensemble de classes de requêtes sûres. Par “sûres”, nous entendons que pour chacune de ces classes il existe un ordre statique des littéra...

Aspects logiques

Ceci est la version 6 de la deuxième partie du cours de lambda-calcul, datant du 05 avril 2016 (merci à Nathanaël Courant et à David Baelde). La version 5 datait du 02 juin 2014. La version 4 datait du 28 janvier 2011. (Bizarrement, je n’avais pas remarqué quelques erreurs présentes depuis dix ans dans la démonstration des théorèmes de normalisation forte. Merci à Hang Zhou et à Arthur Milchior...